|
In mathematics, more specifically algebraic topology, a covering map (also covering projection) is a continuous function ''p'' from a topological space, ''C'', to a topological space, ''X'', such that each point in ''X'' has an open neighbourhood evenly covered by ''p'' (as shown in the image); the precise definition is given below. In this case, ''C'' is called a covering space and ''X'' the base space of the covering projection. The definition implies that every covering map is a local homeomorphism. Covering spaces play an important role in homotopy theory, harmonic analysis, Riemannian geometry and differential topology. In Riemannian geometry for example, ramification is a generalization of the notion of covering maps. Covering spaces are also deeply intertwined with the study of homotopy groups and, in particular, the fundamental group. An important application comes from the result that, if ''X'' is a "sufficiently good" topological space, there is a bijection between the collection of all isomorphism classes of connected coverings of ''X'' and the conjugacy classes of subgroups of the fundamental group of ''X''. == Formal definition == Let ''X'' be a topological space. A covering space of ''X'' is a space ''C'' together with a continuous surjective map : such that for every , there exists an open neighborhood ''U'' of ''x'', such that ''p''−1(''U'') (the inverse image of ''U'' under ''p'') is a union of disjoint open sets in ''C'', each of which is mapped homeomorphically onto ''U'' by ''p''. The map ''p'' is called the covering map,〔 the space ''X'' is often called the base space of the covering, and the space ''C'' is called the total space of the covering. For any point ''x'' in the base the inverse image of ''x'' in ''C'' is necessarily a discrete space〔 called the fiber over ''x''. The special open neighborhoods ''U'' of ''x'' given in the definition are called evenly covered neighborhoods. The evenly covered neighborhoods form an open cover of the space ''X''. The homeomorphic copies in ''C'' of an evenly covered neighborhood ''U'' are called the sheets over ''U''. One generally pictures ''C'' as "hovering above" ''X'', with ''p'' mapping "downwards", the sheets over ''U'' being horizontally stacked above each other and above ''U'', and the fiber over ''x'' consisting of those points of ''C'' that lie "vertically above" ''x''. In particular, covering maps are locally trivial. This means that locally, each covering map is 'isomorphic' to a projection in the sense that there is a homeomorphism, ''h'', from the pre-image ''p''−1(''U''), of an evenly covered neighbourhood ''U'', onto , where ''F'' is the fiber, satisfying the local trivialization condition, which is that, if we project onto ''U'', , so the composition of the projection ''π'' with the homeomorphism ''h'' will be a map from the pre-image ''p''−1(''U'') onto ''U'', then the derived composition will equal ''p'' locally (within ''p''−1(''U'')). 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Covering space」の詳細全文を読む スポンサード リンク
|